For a theoretical formulation, see type theory. Đối với một công thức lý thuyết, xem lý thuyết kiểu.
The theoretical model constructed. Lý thuyết kiểu được xây dựng
The formal design and study of type systems is known as type theory. Việc thiết kế và nghiên cứu các hệ thống kiểu được biết như là lý thuyết kiểu.
The formal design and study of type systems is known as type theory . Việc thiết kế và nghiên cứu các hệ thống kiểu được biết như là lý thuyết kiểu.
In theory this sort of hill-climbing could get a startup into trouble. Trên lý thuyết, kiểu tăng trưởng như leo núi này có thể khiến startup rơi vào khó khăn.
Kind (type theory) Lý thuyết kiểu (Type Theory)
Environment (type theory) Lý thuyết kiểu (Type Theory)
Type of Theoretical Theory Lý thuyết kiểu Type theory
The fundamental problem addressed by a type theory is to insure that programs have meaning. Vấn đề cơ bản được chỉ ra bởi lý thuyết kiểu là để bảo đảm chương trình có ý nghĩa.
The fundamental problem addressed by a type theory is to ensure that programs have meaning. Vấn đề cơ bản được chỉ ra bởi lý thuyết kiểu là để bảo đảm chương trình có ý nghĩa.